/*****************************************************************************/
/*                                                                           */
/*      Version:  1.00   Date: 30/10/96   File: timer.h                      */
/* Last Version:                          File:                              */
/* Changes:                                                                  */
/* 30/10/96 Created                                                          */
/*                                                                           */
/* Purpose:                                                                  */
/*                                                                           */
/*                                                                           */
/* Author:  Thomas Stuetzle                                                  */
/*                                                                           */
/*****************************************************************************/
/*                                                                           */
/*===========================================================================*/


/*---------------------------------------------------------------------------*/


int time_expired();

void start_timers();

double elapsed_time();

typedef enum type_timer {REAL, VIRTUAL} TIMER_TYPE;
